1. Conditional term rewriting systems third international workshop-CTRs-92 pont-a Mousson,France,July 1992 proceedings
Author: Conditional term rewriting systems third international workshop-CTRs-92 pont-a Mousson,France,July 1992 proceedings
Library: Vali Asr University Central Library (Kerman)
Subject: Rewriying systems -congresses,Rusinowitch,M.
Classification :
Qa
267
.
C5933
1988
